#undef CONFIG_HOTPLUG_PCI
